digraph TS_3 {
d1 -> d1 [label="g"]
d1 -> d2 [label="n"]
d2 -> d1 [label="m"]
d2 -> d3 [label="o"]
d3 -> d2 [label="p"]
[initial = {d1} ]
[final = {d1,d3} ]
}
